Set-Based Models for Cryptocurrency Software

Formal methods (FM) are mathematics-based software development aimed at producing ``code for a nuclear power reactor''. That is, due application of FM can produce bug-free, zero-defect, correct-by-construction, guaranteed, certified software. However, the industry seldom use FM. One main reasons such situation is that there exists perception (which might well be fact) increase costs. On other hand, partially applied thus high-quality software, although not necessarily bug-free.
 In this paper we outline some related techniques whose cryptocurrency community should take into consideration because they could bridge gap between ``loose web code'' and We include relevant case studies in area cryptocurrency.